منابع مشابه
Medianeum: Crafting Interactive Timelines from Multimedia Content
The MEDIANEUM project consists in an interactive installation allowing an audience to explore a timeline and access informational data such as texts, images and video. Through a Microsoft Kinect depth sensor, users’ skeletons are captured and their gestures are tracked to interact with the data presented on a screen, made using Processing for faster prototyping, This part of the workflow is bei...
متن کاملCrafting, Crafting, Crafting - Extreme Programming in Classroom?
Extreme Programming (XP) shows several interesting approaches which are very attractive for education. It is centered around early and incremental creation of working software. In the following, the chances XP offers for class are shown – especially for use in a class project, but also for practical phases in all lessons where programming is useful. Finally several common problems which can occ...
متن کاملCrafting Interesting Dialogues in an Interactive Spoken Call Game
We describe work carried out in the context of a project whose goal is to develop a web-enabled serious game, designed to help German-speaking beginner students of English improve their generative and auditory competence. The game, which is currently undergoing a first round of formal user testing, is intended as a self-study adjunct to normal classroom instruction. It was developed in collabor...
متن کاملCrafting a Knowledge Strategy
Telephone: (Australia) +61 3 8300 0747 email: Abstract Knowledge strategies are often inflexible and unable to cope with the emergent properties that characterise the complex and dynamic environments of the ‘knowledge age’. Knowledge strategy should encompass (i) actions that are intended to result in anticipated business outcomes; and (ii) actions that emerge as a resul...
متن کاملCrafting a Proof Assistant
Proof assistants are complex applications whose development has never been properly systematized or documented. This work is a contribution in this direction, based on our experience with the development of Matita: a new interactive theorem prover based—as Coq—on the Calculus of Inductive Constructions (CIC). In particular, we analyze its architecture focusing on the dependencies of its compone...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computer-Human Interaction
سال: 2017
ISSN: 1073-0516,1557-7325
DOI: 10.1145/3058552